Input Validation Testing: A Requirements-Driven, System Level, Early Lifecycle Technique
نویسنده
چکیده
This paper addresses the problem of statically analyzing input command syntax as de ned in interface and requirements speci cations and then generating test cases for input validation testing. The IVT (Input Validation Testing) technique has been developed, a proof-of-concept tool (MICASA) has been implemented, and validation has been performed. Empirical validation on actual industrial software (for the Tomahawk Cruise Missile) shows that as compared with senior, experienced testers, MICASA found more requirement speci cation defects, generated test cases with higher syntactic coverage, and found additional defects. Additionally, the tool performed at signi cantly less cost. Jane Huffman Hayes and A. Jefferson Offutt. Input Validation Testing: A Requirements-Driven, System Level, Early Lifecycle Technique. 11th International Conference on Software Engineering & its Applications, Paris France, December 1998.
منابع مشابه
INPUT VALIDATION TESTING: A SYSTEM LEVEL, EARLY LIFECYCLE TECHNIQUE by
Input Validation Testing: A System Level, Early Lifecycle Technique Jane Huffman Hayes, Ph.D. George Mason University, 1998 Dissertation Director: Dr. A. Jefferson Offutt In this dissertation, syntax-directed software is defined as an application that accepts inputs from the user, constructed and arranged properly, that control the flow of the application. Input validation testing is defined as...
متن کاملIncreased software reliability through input validation analysis and testing
The Input Validation Testing (IVT) technique has been developed to address the problem of statically analyzing input command syntax as de ned in English textual interface and requirements speci cations and then generating test cases for input validation testing. The technique does not require design or code, so it can be applied early in the lifecycle. A proof-of-concept tool has been implement...
متن کاملEVALUATION OF CONCRETE COMPRESSIVE STRENGTH USING ARTIFICIAL NEURAL NETWORK AND MULTIPLE LINEAR REGRESSION MODELS
In the present study, two different data-driven models, artificial neural network (ANN) and multiple linear regression (MLR) models, have been developed to predict the 28 days compressive strength of concrete. Seven different parameters namely 3/4 mm sand, 3/8 mm sand, cement content, gravel, maximums size of aggregate, fineness modulus, and water-cement ratio were considered as input variables...
متن کاملModel-driven Engineering for Early QoS Validation of Component-based Software Systems
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems. One such concern that is growing in importance, but lacking significant research is the validation of quality-of-service (QoS) properties of component-based systems throughout their development lifecycle. In the curre...
متن کاملTowards Test-Driven and Architecture Model-Based Security and Resilience Engineering
The quality of software systems depends strongly on their architecture. For this reason, taking into account non-functional requirements at architecture level is crucial for the success of the software development process. Early architecture model validation facilitates the detection and correction of design errors. In this research, the authors are interested in security critical systems, whic...
متن کامل